геометрия, сходная с геометрией Евклида в том, что в ней определено движение фигур, но отличающаяся от евклидовой геометрии тем, что один из пяти ее постулатов (второй или пятый) заменен его отрицанием. Отрицание одного из евклидовых постулатов (1825) явилось значительным событием в истории мысли, ибо послужило первым шагом на пути к теории относительности.

Второй постулат Евклида утверждает, что любой отрезок прямой можно неограниченно продолжить. Евклид, по-видимому, считал, что этот постулат содержит в себе и утверждение, что прямая имеет бесконечную длину. Однако в "эллиптической" геометрии любая прямая конечна и, подобно окружности, замкнута.

Пятый постулат утверждает, что если прямая пересекает две данные прямые так, что два внутренних угла по одну сторону от нее в сумме меньше двух прямых углов, то эти две прямые, если продолжить их неограниченно, пересекутся с той стороны, где сумма этих углов меньше суммы двух прямых. Но в "гиперболической" геометрии может существовать прямая CB (рис. 1), перпендикулярная в точке С к заданной прямой r и пересекающая другую прямую s под острым углом в точке B, но, тем не менее бесконечные прямые r и s никогда не пересекутся.

Из этих пересмотренных постулатов следовало, что сумма углов треугольника, равная 180. в евклидовой геометрии, больше 180. в эллиптической геометрии и меньше 180. в гиперболической геометрии.

История. Первым неевклидовым геометром, вероятно, можно считать самого Евклида. Его нежелание использовать "несамоочевидный" пятый постулат следует хотя бы из того, что свои первые двадцать восемь предложений Евклид доказывает, не прибегая к этому постулату. С первого века до н.э. до 1820 математики пытались вывести пятый постулат из остальных, но преуспели лишь в замене его различными эквивалентными допущениями, такими, как "две параллельные линии всюду равно удалены друг от друга" или "любые три точки, не расположенные на одной прямой, принадлежат окружности". Ближе всех подошел к цели иезуит, логик и математик Дж.Саккери (1667-1733), который начал свои исследования с так называемого четырехугольника Саккери (рис. 2), т.е. с четырехугольника BCED, у которого BC = DE, а углы при вершинах C и E прямые. Заметив, что углы при вершинах B и D обязательно равны, Саккери рассмотрел поочередно три гипотезы: верхние углы четырехугольника тупые, прямые и острые. Он доказал, что любая из этих гипотез, если ее принять для какого-нибудь одного такого четырехугольника, остается в силе для всех таких четырехугольников. Саккери намеревался обосновать гипотезу о том, что верхние углы прямые, доказав, что любая другая гипотеза приводит к противоречию. Вскоре он отверг гипотезу о тупом угле (и тем самым лишил себя возможности открыть эллиптическую геометрию), поскольку, как и все геометры до 1854, рассматривал второй постулат как утверждение о том, что прямая имеет бесконечную длину, и отказываться от этого постулата он не хотел. Точно также Саккери в конце концов отверг и гипотезу об остром угле, но прежде, чем принять это ошибочное решение, он, сам того не ведая, открыл многие теоремы геометрии, получившей впоследствии название гиперболической.

К.Гаусса (1777-1855) принято считать одним из величайших математиков всех времен. Он первым подошел к проблеме с современной точки зрения, согласно которой геометрию, отрицающую пятый постулат, надлежит развивать ради нее самой, не ожидая, что при этом возникнет какое-то противоречие. Письма Гаусса к друзьям говорят о том, что к 1816 он преодолел традиционный предрассудок относительно неизбежности противоречия и развил "антиевклидову" геометрию, удовлетворяющую гипотезе Саккери об остром угле. Но, опасаясь насмешек, он воздерживался от публикации этих идей и тем самым позволил разделить честь открытия гиперболической геометрии (примерно в 1825) венгру Я.Бойяи (1802-1860) и русскому Н.И.Лобачевскому (1793-1856). Бойяи опубликовал свою работу до того, как услышал о Лобачевском, а последний, судя по всему, так никогда и не узнал об исследованиях Бойяи.

В 1854 Б.Риман (1826-1866) заметил, что из неограниченности пространства еще не следует его бесконечная протяженность. Смысл этого утверждения станет яснее, если представить, что в неограниченной, но конечной вселенной астроном в принципе мог бы увидеть в телескоп, обладающий достаточно высокой разрешающей способностью, свой собственный затылок (если отвлечься от небольшой детали, связанной с тем, что свет, отраженный от затылка, достиг бы глаза астронома через тысячи миллионов лет). В своем доказательстве того, что внешний угол при любой вершине треугольника больше внутреннего угла при любой из двух остальных вершин, Евклид неявно использовал бесконечную длину прямой. Из этой теоремы тотчас же следует теорема о том, что сумма любых двух углов треугольника меньше суммы двух прямых углов. Если отказаться от бесконечной длины прямой, то гипотеза Саккери о тупом угле становиться верной и из нее следует, что сумма углов треугольника больше суммы двух прямых. Такое положение дел было давно известно в сферической тригонометрии, где стороны треугольника являются дугами больших кругов. Риман внес эпохальный вклад, распространив представление о конечном, но неограниченном пространстве с двух на три и большее число измерений.

Эллиптическая плоскость. Ф.Клейн (1849-1925) первым увидел, как избавить сферическую геометрию от одного из ее недостатков - того, что две лежащие в одной плоскости "прямые" (два больших круга на сфере) имеют не одну общую точку, а две (рис. 3,а). Так как для каждой точки существует одна-единственная точка-антипод (диаметрально противоположная точка), а для любой фигуры существует ее дубликат из точек-антиподов, мы можем, ничем не жертвуя, но многое приобретая, абстрактно отождествить обе точки такой пары, объединив их в одну. Таким образом можно изменить смысл термина "точка", условившись впредь называть "одной точкой" пару диаметрально противоположных точек. Иначе говоря, точки так называемой "эллиптической" плоскости представлены на единичной сфере парами точек-антиподов или диаметрами, соединяющими точки-антиподы. Вся эллиптическая прямая замкнута, как окружность, но, поскольку каждая из ее точек представлена двумя точками-антиподами на единичной сфере, полная длина эллиптической прямой равна половине длины окружности большого круга, т.е. ее полная длина равна ?.

Такое представление с помощью диаметров и диаметральных плоскостей сферы (при котором диаметр, соединяющий северный и южный полюсы сферы, является "полюсом" экватора), показывает, что все свойства действительной проективной плоскости сохраняются и для эллиптической плоскости.

Геометрия порядка. Один из подходов к построению гиперболической геометрии исходит из некоторых фундаментальных аксиом порядка, справедливых и в евклидовой, но не в эллиптической геометрии. Если считать "точки" исходными понятиями, то запись означает, что точка B лежит "между" точками A и C (это первичное отношение мы принимаем, не пытаясь его определить). Первые четыре аксиомы порядка утверждают, что 1) существует по крайней мере две точки; 2) если A и B - две различные точки, то существует по крайней мере одна точка C, для которой ; 3) эта точка C отлична от точки A и 4) порядок влечет за собой , но не . "Отрезок" AB, по определению, состоит из точек P, для которых , а "луч" A/B ("исходящий из A в другую сторону, чем B") - из точек Q, для которых . "Прямая" AB состоит из отрезка AB, точек A, B и двух лучей A/B, B/A. Пятая аксиома утверждает, что если C и D - различные точки на прямой AB, то A лежит на прямой CD (из этой же аксиомы следует, что прямые AB и CD совпадают). Шестая аксиома дает нам точку вне данной прямой, а седьмая, сформулированная М.Пашем (1843-1931), позволяет определить плоскость как множество всех точек, коллинеарных с парами точек на одной или двух сторонах данного треугольника.

Абсолютная геометрия. Большая часть вклада Бойяи связана с теми разделами гиперболической геометрии, которые принадлежат и евклидовой геометрии. Его "абсолютная геометрия" может быть выведена из геометрии порядка, если к последней добавить еще одно фундаментальное отношение, а именно "конгруэнтность". Это отношение определяется пятью аксиомами типа "Если ABC и A?B ?C . - два треугольника, таких, что BC . B?C?, CA . C?A?, AB . A?B?, а D и D. - еще две точки, такие, что и и BD . B?D?, то AD . A?D?". Эти аксиомы служат основой теории длины и позволяют распространить отношение конгруэнтности с пар точек на углы. Определив обычным образом окружность, мы можем рассматривать первые четыре постулата Евклида как теоремы и доказать его первые двадцать восемь предложений, заменив слово "параллельные" на "не пересекающиеся". Однако необходимо тщательно избегать любого обращения к нашему обычному представлению о сумме углов треугольника; например, мы не можем более утверждать, что углы, опирающиеся на один и тот же сегмент окружности, равны, так как доказательство этого предложения зависело бы от суммы углов треугольника. С другой стороны, мы можем доказать, что три высоты остроугольного треугольника пересекаются в одной точке, построить теорию правильных многоугольников и правильных многогранников (с небольшими оговорками). Уточнив понятие параллельности (определив как параллельные лучи, которые просто не пересекаются), мы можем показать, что параллельность - отношение симметричное и транзитивное (т.е. если прямая r параллельна прямой s, то s параллельна r; если r параллельна s, а s параллельна t, то r параллельна t).

Множество прямых, параллельных данному лучу, называется "пучком параллельных"; он содержит единственную прямую, проходящую через любую заданную точку. Следуя аналогии с обычным пучком (состоящим из всех прямых, проходящих через точку), мы можем считать, что пучок параллельных определяет "бесконечно удаленную точку", или, по терминологии Д.Гильберта (1862-1943), "конец". Вместо того, чтобы говорить, что два луча (или две прямые) параллельны или что они принадлежат некоторому пучку параллельных M, мы говорим, что два луча имеют общий конец M. Луч, проходящий через точку C и принадлежащий данному пучку параллельных, принято обозначать CM, как если бы это был отрезок; тот же символ CM можно использовать и для обозначения всей прямой. Если BM и CM - параллельные лучи, то фигура MCB называется "асимптотическим треугольником", поскольку она во многом ведет себя, как обычный треугольник. В частности, два асимптотических треугольника конгруэнтны, если у них имеется по конгруэнтной стороне и конгруэнтному углу.

Гиперболическая плоскость. Из абсолютной геометрии Бойяи можно вывести евклидову геометрию, добавив евклидову (или аффинную) аксиому: через точку B, не лежащую на данной прямой r, можно провести не более одной прямой, параллельной данной. Гиперболическую геометрию можно вывести из абсолютной геометрии, добавив гиперболическую аксиому, повторяющую только что приведенную, но без отрицания "не" во втором случае. Таким образом, лучи BM и BN на рис. 4 могут быть оба параллельны r, а если M и N их концы, то r называется "прямой MN". Любая прямая, например t, являющаяся продолжением стороны угла ?NBM, образует с r пару "гиперпараллельных", т.е. пару прямых, которые не пересекаются и не параллельны. Две такие прямые имеют единственный общий перпендикуляр. Множество прямых, перпендикулярных данной прямой a, называются "пучком гиперпараллельных" с "осью" a.

Отражение относительно BC показывает, что ?CBM и ?NBC - равные острые углы. Лобачевский назвал каждый из них "углом параллельности" П(a), где a - длина BC. Он показал, что функция П(a) монотонно убывает от ??. . до 0, когда a возрастает от 0 до ?. Треугольник BMN естественно назвать "дважды асимптотическим треугольником". Два дважды асимптотических треугольника конгруэнтны, если имеют конгруэнтные углы. Если отрезок CB возрастает до тех пор, пока не превратится в луч CL, то BMN превращается в "трижды асимптотический треугольник" LMN, все три вершины которого являются концами (все три стороны такого треугольника бесконечны, а все три угла равны нулю). Все трижды асимптотические треугольники конгруэнтны.

Одной из самых прекрасных страниц в литературе по неевклидовой геометрии со времен Лобачевского считается предложенное Г.Либманом доказательство того, что площадь треугольника остается конечной, когда две (или три) его стороны становятся бесконечными. Доказательство сводится к разбиению асимптотического треугольника на бесконечную последовательность конечных треугольников и перекладыванию их с соблюдением одного условия: все они должны умещаться внутри некоторого конечного пятиугольника. Метод Либмана восполняет один из двух недостающих шагов в предложенном Гауссом красивом доказательстве того, что площадь любого треугольника пропорциональна его "угловому дефекту" - величине, показывающей, насколько сумма углов треугольника меньше двух прямых. Аналогия с выражением (A + B + C) - . для площади сферического треугольника (на единичной сфере) наводит на мысль о естественной единице измерения, при которой площадь треугольника ABC просто равна . - (A + B + C). Используя эту единицу, Лобачевский выразил угол параллельности, соответствующий расстоянию x, формулой

П(x) = 2arctg e-x.

Кривые, ортогональные обычному пучку прямых, имеют вид концентрических окружностей; кривые, ортогональные пучку параллельных, имеют вид концентрических "орициклов". В действительности орицикл - это предельная форма окружности, центр которой уходит в бесконечность (так, что диаметры окружности становятся параллельными).

Евклидовы модели неевклидовых геометрий. Ф.Вахтер (1792-1817) за несколько месяцев до безвременной кончины сообщил в письме к Гауссу о своем наблюдении: если пятый постулат Евклида ложен, то сфера, радиус которой стремиться к бесконечности, приближается к предельной поверхности, чья внутренняя геометрия совпадает с геометрией евклидовой плоскости. Тем самым Вахтер предвосхитил появление "орисферы", сыгравшей важную роль в работах Бойяи и Лобачевского. Эта поверхность получается при вращении орицикла вокруг любого из его диаметров. Кривые на орисфере, которые ведут себя, как евклидовы прямые, - орициклы, по которым орисферу пересекают ее диаметральные плоскости.

А.Пуанкаре (1854-1912) открыл представление гиперболического пространства с помощью конформной модели, в которой геометрическое место концов имеет вид плоскости . в евклидовом пространстве, а сферам с центрами в . соответствуют плоскости гиперболического пространства. Заменив сферы полусферами, Пуанкаре получил возможность представить все гиперболическое пространство с помощью половины евклидова пространства, а именно всеми точками, лежащими по одну сторону от ?. Один пучок концентрических орисфер представлен плоскостями, параллельными ?; можно доказать, что евклидовы расстояния в такой плоскости пропорциональны соответствующим геодезическим на орисфере, что полностью согласуется с наблюдением Вахтера.

Рассматривая сечение трехмерной модели Пуанкаре плоскостью, перпендикулярной ?, мы получим модель аналогичную модели Пуанкаре для гиперболической плоскости. В этой модели геометрическое место концов имеет вид евклидовой прямой. В другой модели геометрическое место концов имеет вид окружности ?, а прямые на гиперболической плоскости - дуг окружностей, ортогональных ?. Две параллельные дуге r, проходящие через точку B, - просто дуги, проходящие через точку B и касающиеся дуги r в ее концах, как на рис. 5.

Такая модель называется "конформной" потому, что углы сохраняют свою величину, хотя расстояния неизбежно искажаются. Если пойти на искажение углов, то дуги можно заменить хордами, как на рис. 6. Эту более простую модель предложил в 1868 году Э.Бельтрами (1835-1900) для доказательства того, что гиперболическая геометрия так же логически непротиворечива, как и евклидова (хотя и Бойяи и Лобачевский были интуитивно убеждены, что их исследования никогда не приведут к двум противоречащим друг другу утверждениям, ни один из них не дожил до строгого доказательства непротиворечивости гиперболической геометрии). В модели Бельтрами множество прямых, проходящих через точку A, представлено обычным пучком параллельных или гиперпараллельных в зависимости от того, находится ли A внутри ?, на . или вне ?. В последнем случае (см. нижнюю часть рис. 6) ось пучка гиперпараллельных есть "поляра" точки A, соединяющая точки касания двух касательных, проведенных из точки A. Иначе говоря, две перпендикулярные прямые гиперболической плоскости представлены двумя прямыми, "сопряженными" относительно ?. Такого рода идеи относятся к проективной геометрии; действительно, . можно рассматривать как коническое сечение на действительной проективной плоскости; в этом случае мы приходим к модели А.Кэли (1821-1895) и Ф.Клейна. Это коническое сечение ?, геометрическое место концов, есть то, что Кэли назвал "абсолютом". (Преисполненный энтузиазмом, он сначала даже писал это слово с прописной буквы "А", но позднее перешел на строчную "а" во избежание упрека в непочтительности). Чтобы быть совершенно точным, следует отметить, что проективная плоскость, на которой работал Кэли, была не действительной, а комплексной: Кэли разрешал . быть коническим сечением, не содержащим действительных точек, отчего геометрия становится не гиперболической, а эллиптической.

в буквальном понимании - все геометрические системы, отличные от геометрии Евклида; однако обычно термин "Н. г." применяется лишь к геометрическим системам (отличным от геометрии Евклида), в которых определено движение фигур, причём с той же степенью свободы, что и в геометрии Евклида. Степень свободы движения фигур в евклидовой плоскости характеризуется тем, что каждая фигура без изменения расстояний между её точками может быть перемещена так, чтобы любая выбранная её точка заняла любое заранее назначенное положение; кроме того, каждая фигура может вращаться вокруг любой своей точки. В евклидовом трёхмерном пространстве каждая фигура может быть перемещена так, чтобы любая выбранная её точка заняла любое заранее назначенное положение; кроме того, каждая фигура может вращаться вокруг любой оси, проходящей через любую её точку.

Среди Н. г. особое значение имеют Лобачевского геометрия и Римана геометрия, которые чаще всего и подразумевают, когда говорят о Н. г. Геометрия Лобачевского - первая геометрическая система, отличная от геометрии Евклида, и первая более общая теория (включающая евклидову геометрию как предельный случай). Геометрия Римана, открытая позднее, в некоторых отношениях противоположна геометрии Лобачевского, но вместе с тем служит ей необходимым дополнением. Совместное исследование геометрий Евклида (см. Евклидова геометрия), Лобачевского и Римана позволило в должной мере выяснить особенности каждой из них, а также их связи друг с другом и с другими геометрическими системами. Ниже обе Н. г. и геометрия Евклида сопоставляются как синтетические теории, затем в плане дифференциальной геометрии и, наконец, в виде проективных моделей.

Н. г. как синтетические теории. Геометрия Лобачевского строится на основе тех же аксиом, что и евклидова, за исключением только одной аксиомы о параллельных. Именно, согласно аксиоме о параллельных евклидовой геометрии, через точку, не лежащую на данной прямой а, проходит только одна прямая, которая лежит в одной плоскости с прямой а и не пересекает эту прямую; в геометрии Лобачевского принимается, что таких прямых несколько (затем доказывается, что их бесконечно много).

В геометрии Римана принимается аксиома: каждая прямая, лежащая в одной плоскости с данной прямой, пересекает эту прямую. Эта аксиома противоречит системе аксиом евклидовой геометрии с исключением аксиомы о параллельных. Т. о., система аксиом, лежащая в основе геометрии Римана, необходимо должна отличаться от системы аксиом евклидовой геометрии не только заменой одной аксиомы о параллельных другим утверждением, но и в части остальных аксиом. Различными в этих геометриях являются аксиомы, которые служат для обоснования так называемых отношений порядка геометрических элементов. Сущность в следующем: в евклидовой геометрии и в геометрии Лобачевского порядок точек на прямой является линейным, т. е. подобным порядку в множестве действительных чисел; в геометрии Римана порядок точек на прямой является циклическим, т. е. подобным порядку в множестве точек на окружности. Кроме того, в геометриях Евклида и Лобачевского каждая прямая, лежащая в данной плоскости, разделяет эту плоскость на две части; в геометрии Римана прямая не разделяет плоскость на две части, т. е. любые две точки плоскости, не лежащие на данной прямой, можно соединить в этой плоскости непрерывной дугой, не пересекая данную прямую (топологической моделью плоскости Римана служит Проективная плоскость).

Требования аксиом, определяющих движение фигур, для всех трёх геометрий одинаковы.

Примеры теорем Н. г.

1) В геометрии Лобачевского сумма внутренних углов любого треугольника меньше двух прямых; в геометрии Римана эта сумма больше двух прямых (в евклидовой геометрии она равна двум прямым).

2) В геометрии Лобачевского площадь треугольника выражается формулой:

S = R²(π - α - β - γ), (1)

где α, β, γ - внутренние углы треугольника, R - некоторая постоянная, которая определяется выбором единицы измерения площадей. В геометрии Римана имеет место формула:

S = R²(α + β + γ - π) (2)

при аналогичном значении символов (в евклидовой геометрии зависимости между площадью треугольника и суммой его углов нет).

3) В геометрии Лобачевского между сторонами и углами треугольника существует ряд зависимостей, например

где sh, ch - гиперболические синус и косинус (см. Гиперболические функции), a, b, c - стороны треугольника, α, β, γ - противолежащие им углы, R - постоянная, определяемая выбором масштаба; для прямоугольного треугольника (с гипотенузой с и прямым углом γ) имеет место, например, равенство:

При некотором согласовании линейного масштаба и единицы измерения площадей постоянная R в формулах (1), (3), (4) будет одинаковой. Число R называется радиусом кривизны плоскости (или пространства) Лобачевского. Число R при данном масштабе выражает определённый отрезок в плоскости (пространстве) Лобачевского, который также называют радиусом кривизны. Если масштаб меняется, то меняется число R, но радиус кривизны, как отрезок, остаётся неизменным. Если радиус кривизны принять за масштабный отрезок, то R = 1. В геометрии Римана существуют сходные равенства:

(для произвольного треугольника) и

(для прямоугольного) при аналогичном значении символов. Число R называют радиусом кривизны плоскости (или пространства) Римана. Как видно из формул (4) и (6), в каждой из Н. г. гипотенуза прямоугольного треугольника определяется его углами; более того, в Н. г. стороны любого треугольника определяются его углами, т. е. не существует подобных треугольников, кроме равных. В евклидовой геометрии нет формул, аналогичных формулам (4) и (6), и нет никаких др. формул, выражающих линейные величины через угловые. При замене R на Ri

формулы (1), (3), (4) превращаются в формулы (2), (5), (6); вообще, при замене R на Ri все метрические формулы геометрии Лобачевского (сохраняющие при этой замене геометрический смысл) переходят в соответствующие формулы геометрии Римана. При R → ∞ и те и другие дают в пределе формулы евклидовой геометрии (либо теряют смысл). Стремление к бесконечности величины R означает, что масштабный отрезок является бесконечно малым по сравнению с радиусом кривизны (как с отрезком). То обстоятельство, что при этом формулы Н. г. переходят в пределе в формулы евклидовой геометрии, означает, что для малых (по сравнению с радиусом кривизны) неевклидовых фигур соотношения между их элементами мало отличны от евклидовых.

Н. г. в плане дифференциальной геометрии. В каждой из Н. г. дифференциальные свойства плоскости аналогичны дифференциальным свойствам поверхностей евклидова пространства (см. Дифференциальная геометрия); в неевклидовой плоскости могут быть введены внутренние координаты u, v, так что дифференциал ds дуги кривой, соответствующий дифференциалам du, dv координат, определяется равенством:

ds² = Edu² + 2Fdudv + Gdv² (7)

Пусть, в частности, в качестве координаты u произвольной точки М берётся длина перпендикуляра, опущенного из М на фиксированную прямую, а в качестве координаты v - расстояние от фиксированной точки О этой прямой до основания указанного перпендикуляра; величины u, v следует брать со знаком, подобно обычным декартовым координатам. Тогда формула (7) для плоскости Лобачевского будет иметь вид:

а для плоскости Римана

R - та же постоянная, которая входит в формулы предыдущего раздела (радиус кривизны). Правые части (8) и (9) суть метрические формы поверхностей евклидова пространства, имеющих соответственно постоянную отрицательную кривизну К = - 1/R² (как, например, псевдосфера) и постоянную положительную кривизну К = 1/R² (как, например, сфера). Поэтому внутренняя геометрия достаточно малой части плоскости Лобачевского совпадает с внутренней геометрией на соответствующей части поверхности постоянной отрицательной кривизны. Аналогично, внутренняя геометрия достаточно малых частей плоскости Римана реализуется на поверхностях постоянной положительной кривизны (поверхностей, которые реализуют геометрию всей плоскости Лобачевского, в евклидовом пространстве нет). При замене R на Ri метрическая форма (8) переходит в метрическую форму (9). Так как метрическая форма определяет внутреннюю геометрию поверхности, то при такой замене и другие метрические соотношения геометрии Лобачевского переходят в метрические соотношения геометрии Римана (что уже было отмечено выше). При R = ∞ каждое из равенств (8) и (9) даёт

ds² = du² + dv²,

т. е. метрическую форму евклидовой плоскости.

Трёхмерные неевклидовы пространства по своим дифференциальным свойствам относятся к числу римановых пространств в широком смысле (см. Риманово пространство) и выделяются среди них прежде всего тем, что имеют постоянную риманову кривизну (см. Риманова геометрия). Как в двумерном, так и в трёхмерном случае постоянство кривизны обеспечивает однородность пространства, т. е. возможность движения фигур в нём, причём с той же степенью свободы, как (соответственно) на евклидовой плоскости или в евклидовом пространстве. Пространство Лобачевского имеет отрицательную кривизну, равную - 1/R², пространство Римана - положительную кривизну, равную 1/R² (R - радиус кривизны). Евклидово пространство занимает промежуточное положение и является пространством нулевой кривизны.

Пространства постоянной кривизны могут иметь весьма разнообразное строение в смысле топологии (См. Топология). Среди всех пространств постоянной отрицательной кривизны пространство Лобачевского однозначно выделяется двумя свойствами: оно полно (в смысле полноты метрического пространства (См. Метрическое пространство)), топологически эквивалентно обычному евклидову пространству. Пространство Римана среди всех пространств положительной кривизны однозначно выделяется свойством топологической эквивалентности проективному пространству. Аналогичными условиями выделяются многомерные пространства Лобачевского и Римана среди многомерных пространств постоянной римановой кривизны.

Н. г. в виде проективных моделей. Пусть на проективной плоскости введены проективные однородные координаты (x₁, x₂, x₃) и задана некоторая овальная линия второго порядка, обозначаемая дальше буквой k, например

x₁² + x₂² + x₃² = 0

Каждое проективное Отображение проективной плоскости на себя, которое оставляет на месте линию k, называется автоморфизмом относительно k. Каждый автоморфизм отображает внутренние точки линии k также во внутренние её точки. Множество всех автоморфизмов относительно линии k составляет группу (См. Группа). Пусть рассматриваются только точки проективной плоскости, лежащие внутри k; хорды линии k называются "прямыми". Две фигуры пусть считаются равными, если одна из них переводится в другую некоторым автоморфизмом. Так как автоморфизмы составляют группу, то имеют место основные свойства равенства фигур: если фигура А равна фигуре В, то В равна А; если фигура А равна фигуре В, а В равна фигуре С, то А. равна С. В получаемой т. о. геометрические теории будут соблюдены требования всех аксиом евклидовой геометрии, кроме аксиомы о параллельных: вместо этой последней аксиомы соблюдается аксиома о параллельных Лобачевского (см. рисунок, где показано, что через точку Р проходит бесконечно много "прямых", не пересекающих "прямой" а). Тем самым получается истолкование (двумерной) геометрии Лобачевского при помощи объектов проективной плоскости или, как говорят, проективная модель геометрии Лобачевского; линию k называют абсолютом этой модели. Автоморфизмы относительно k играют роль движений. Поэтому геометрию Лобачевского можно рассматривать как теорию, изучающую свойства фигур и связанные с фигурами величины, которые остаются неизменными при автоморфизмах; короче говоря, геометрию Лобачевского можно рассматривать как теорию инвариантов группы автоморфизмов относительно овального абсолюта.

Геометрия Римана (двумерная) допускает сходное истолкование; именно она является теорией инвариантов относительно нулевого абсолюта

x₁² + x₂² + x₃² = 0. (10)

При этом в качестве точек и прямых модели берутся все точки и прямые проективной плоскости; автоморфизмы определяются чисто алгебраически как линейные преобразования, которые переводят уравнение (10) в уравнение того же вида.

Евклидову геометрию также можно рассматривать как теорию инвариантов некоторой группы проективных преобразований, именно, группы автоморфизмов относительно вырожденного абсолюта

x₁² + x₂² = 0, x₃ = 0,

т. е. относительно мнимых точек (1, i, 0), (1, -i, 0); эти точки называют круговыми точками. Предметом модели являются все точки проективной плоскости, кроме точек прямой x₃ = 0, и все прямые проективной плоскости, кроме прямой x₃ = 0. В последнем случае автоморфизмы играют роль подобных преобразований, а не движений, как в случае Н. г.

Рассмотренные модели относятся к двумерным геометриям; проективные модели высших размерностей строятся аналогично.

Соответственно характеру уравнений абсолютов, геометрия Лобачевского называется гиперболической, геометрия Римана - эллиптической, геометрия Евклида - параболической.

Н. г. имеют существенные приложения в математике (теории аналитических функций, теории групп и др.) и смежных с нею областях (например, в теории относительности). Эти приложения основаны на том, что разнообразные конкретные модели Н. г. связаны с различными объектами и понятиями указанных разделов математики и смежных с нею областей. О значении Н. г. см. также Геометрия.

Лит.: Александров П. С., Что такое неевклидова геометрия, М., 1950; Клейн Ф., Неевклидова геометрия, пер. с нем., М. - Л., 1936; Ефимов Н. В., Высшая геометрия, 4 изд., М., 1961.

Н. В. Ефимов.

Рис. к ст. Неевклидовы геометрии.

то же, что Лобачевского геометрия.

геометрическая теория, основанная на тех же основных посылках, что и обычная Евклидова геометрия, за исключением аксиомы о параллельных, которая заменяется на аксиому о параллельных Лобачевского. Евклидова аксиома о параллельных гласит: через точку, не лежащую на данной прямой, проходит только одна прямая, лежащая с данной прямой в одной плоскости и не пересекающая её. В Л. г. вместо неё принимается следующая аксиома: через точку, не лежащую на данной прямой, проходят по крайней мере две прямые, лежащие с данной прямой в одной плоскости и не пересекающие её. Казалось бы, эта аксиома противоречит чрезвычайно привычным представлениям. Тем не менее как эта аксиома, так и вся Л. г. имеет вполне реальный смысл (о чём см. ниже). Л. г. была создана и развита Н. И. Лобачевским (См. Лобачевский), который впервые сообщил о ней в 1826. Л. г. называется неевклидовой геометрией, хотя обычно термину "неевклидова геометрия" придают более широкий смысл, включая сюда и др. теории, возникшие вслед за Л. г. и также основанные на изменении основных посылок евклидовой геометрии. Л. г. называется специально гиперболической неевклидовой геометрией (в противоположность эллиптической геометрии Римана) (см. Неевклидовы геометрии, Римана геометрия).

Л. г. представляет теорию, богатую содержанием и имеющую применение как в математике, так и в физике. Историческое её значение состоит в том, что её построением Лобачевский показал возможность геометрии, отличной от евклидовой, что знаменовало новую эпоху в развитии геометрии и математики вообще (см. Геометрия). С современной точки зрения можно дать, например, следующее определение Л. г. на плоскости: она есть не что иное, как геометрия внутри круга на обычной (евклидовой) плоскости, лишь выраженная особым образом. Именно, будем рассматривать круг на обычной плоскости (рис. 1) и внутренность его, т. е. круг, за исключением ограничивающей его окружности, назовем "плоскостью". Точкой "плоскости" будет точка внутри круга. "Прямой" будем называть любую хорду (например, а, b, b', MN) (с исключенными концами, т. к. окружность круга исключена из "плоскости"). "Движением" назовем любое преобразование круга самого в себя, которое переводит хорды в хорды. Соответственно, равными называются фигуры внутри круга, переводящиеся одна в другую такими преобразованиями. Тогда оказывается, что любой геометрический факт, описанный на таком языке, представляет теорему или аксиому Л. г. Иными словами, всякое утверждение Л. г. на плоскости есть не что иное, как утверждение евклидовой геометрии, относящееся к фигурам внутри круга, лишь пересказанное в указанных терминах. Евклидова аксиома о параллельных здесь явно не выполняется, т. к. через точку О, не лежащую на данной хорде а (т. е. "прямой"), проходит сколько угодно не пересекающих её хорд ("прямых") (например, b, b'). Аналогично, Л. г. в пространстве может быть определена как геометрия внутри шара, выраженная в соответствующих терминах ("прямые" - хорды, "плоскости" - плоские сечения внутренности шара, "равные" фигуры - те, которые переводятся одна в другую преобразованиями, переводящими шар сам в себя и хорды в хорды). Таким образом, Л. г. имеет совершенно реальный смысл и столь же непротиворечива, как геометрия Евклида. Описание одних и тех же фактов в разных терминах или, напротив, описание разных фактов в одних и тех же терминах представляет характерную черту математики. Она ясно выступает, например, когда одна и та же линия задаётся в разных координатах разными уравнениями или, напротив, одно и то же уравнение в разных координатах представляет различные линии.

Возникновение геометрии Лобачевского. Источником Л. г. послужил вопрос об аксиоме о параллельных, которая известна также как V постулат Евклида (под этим номером утверждение, эквивалентное приведённой выше аксиоме о параллельных, фигурирует в списке постулатов в "Началах" Евклида (См. Начала Евклида)). Этот постулат, ввиду его сложности в сравнении с другими, вызвал попытки дать его доказательство на основании остальных постулатов.

Вот неполный перечень учёных, занимавшихся доказательством V постулата до 19 в.: древнегреческий математики Птолемей (2 в.), Прокл (5 в.) (доказательство Прокла основано на предположении о конечности расстояния между двумя параллельными), Ибн аль-Хайсам из Ирака (конец 10 - начало 11 вв.) (Ибн аль-Хайсам пытался доказать V постулат, исходя из предположения, что конец движущегося перпендикуляра к прямой описывает прямую линию), таджикский математик Омар Хайям (2-я половина 11 - начало 12 вв.), азербайджанский математик Насирэддин Туей (13 в.) (Хайям и Насирэддин при доказательстве V постулата исходили из предположения, что две сходящиеся прямые не могут при продолжении стать расходящимися без пересечения), немецкий математик К. Клавий (Шлюссель, 1574), итальянские математики П. Катальди (впервые в 1603 напечатавший работу, целиком посвященную вопросу о параллельных), Дж. Борелли (1658), Дж. Витале (1680), английский математик Дж. Валлис (1663, опубликовано в 1693) (Валлис основывает доказательство V постулата на предположении, что для всякой фигуры существует ей подобная, но не равная фигура). Доказательства перечисленных выше геометров сводились к замене V постулата др. предположением, казавшимся более очевидным. Итальянский математик Дж. Саккери (1733) сделал попытку доказать V постулат от противного. Приняв предложение, противоречащее постулату Евклида, Саккери развил из него довольно обширные следствия. Ошибочно признав некоторые из этих следствий приводящими к противоречиям, Саккери заключил, что постулат Евклида доказан. Немецкий математик И. Ламберт (около 1766, опубликовано в 1786) предпринял аналогичные исследования, однако он не повторил ошибки Саккери, а признал своё бессилие обнаружить в построенной им системе логическое противоречие. Попытки доказательства постулата предпринимались и в 19 в. Здесь следует отметить работы французского математика А. Лежандра; одно из его доказательств (1800) основано на допущении, что через каждую точку внутри острого угла можно провести прямую, пересекающую обе стороны угла, т. е., как и все его предшественники, он заменил постулат др. допущением. Довольно близко к построению Л. г. подошли немецкие математики Ф. Швейкарт (1818) и Ф. Тауринус (1825), однако ясно выраженной мысли о том, что намечаемая ими теория будет логически столь же совершенна, как и геометрия Евклида, они не имели.

Вопрос о V постулате Евклида, занимавший геометров более двух тысячелетий, был решен Лобачевским. Это решение сводится к тому, что постулат не может быть доказан на основе др. посылок евклидовой геометрии и что допущение постулата, противоположного постулату Евклида, позволяет построить геометрию столь же содержательную, как и евклидова, и свободную от противоречий. Лобачевский сделал об этом сообщение в 1826, а в 1829-30 напечатал работу "О началах геометрии" с изложением своей теории. В 1832 была опубликована работа венгерского математика Я. Больяй аналогичного содержания. Как выяснилось впоследствии, немецкий математик К. Ф. Гаусс также пришёл к мысли о возможности существования непротиворечивой неевклидовой геометрии, но скрывал её, опасаясь быть непонятым. Хотя Л. г. развивалась как умозрительная теория и сам Лобачевский называл её "воображаемой геометрией", тем не менее именно Лобачевский рассматривал её не как игру ума, а как возможную теорию пространственных отношений. Однако доказательство её непротиворечивости было дано позже, когда были указаны её интерпретации и тем полностью решен вопрос о её реальном смысле, логической непротиворечивости.

Интерпретации (модели) геометрии Лобачевского. Л. г. изучает свойства "плоскости Лобачевского" (в планиметрии) и "пространства Лобачевского" (в стереометрии). Плоскость Лобачевского - это плоскость (множество точек), в которой определены прямые линии, а также движения фигур (вместе с тем - расстояния, углы и пр.), подчиняющиеся всем аксиомам евклидовой геометрии, за исключением аксиомы о параллельных, которая заменяется указанной выше аксиомой Лобачевского. Сходным образом определяется пространство Лобачевского. Задача выяснения реального смысла Л. г. состояла в нахождении моделей плоскости и пространства Лобачевского, т. е. в нахождении таких объектов, в которых реализовались бы соответствующим образом истолкованные положения планиметрии и стереометрии Л. г. (об интерпретации вообще см. Геометрия, раздел Истолкования геометрии). Итальянский математик Э. Бельтрами в 1868 заметил, что геометрия на куске плоскости Лобачевского совпадает с геометрией на поверхностях постоянной отрицательной кривизны, простейший пример которых представляет Псевдосфера (рис. 2). Если точкам и прямым на конечном куске плоскости Лобачевского сопоставлять точки и кратчайшие линии (геодезические) на псевдосфере и движению в плоскости Лобачевского сопоставлять перемещение фигуры по псевдосфере с изгибанием, т. е. деформацией, сохраняющей длины, то всякой теореме Л. г. будет отвечать факт, имеющий место на псевдосфере. Т. о., Л. г. получает простой реальный смысл. При этом длины, углы, площади понимаются в смысле естественного измерения их на псевдосфере. Однако здесь даётся интерпретация только геометрии на куске плоскости Лобачевского, а не на всей плоскости и тем более не в пространстве (в 1901 Д. Гильберт доказал даже, что вообще в евклидовом пространстве не может существовать регулярной поверхности, геометрия на которой совпадает с геометрией всей плоскости Лобачевского).

В 1871 Ф. Клейн указал ту модель как всей плоскости, так и пространства Лобачевского, которая была описана выше и в которой плоскостью служит внутренность круга, а пространством - внутренность шара. Между прочим, в этой модели расстояние между точкам (рис. 1) определяется как ; угол - ещё сложнее.

Позже А. Пуанкаре в связи с задачами теории функций комплексного переменного дал другую модель. За плоскость Лобачевского принимается внутренность круга (рис. 3), прямыми считаются дуги окружностей, перпендикулярных окружности данного круга, и его диаметры, движениями - преобразования, получаемые комбинациями инверсий (См. Инверсия) относительно окружностей, дуги которых служат прямыми. Модель Пуанкаре замечательна тем, что в ней углы изображаются обычными углами. Исходя из таких соображений, можно строить модель Л. г. в пространстве.

Коротко модели Клейна и Пуанкаре можно определить так. В обоих случаях плоскостью Лобачевского может служить внутренность круга (пространством - внутренность шара), и Л. г. есть учение о тех свойствах фигур внутри круга (шара), которые в случае модели Клейна не изменяются при проективных, а в случае модели Пуанкаре - при конформных преобразованиях круга (шара) самого в себя (проективные преобразования есть те, которые переводят прямые в прямые, конформные - те, которые сохраняют углы).

Возможно чисто аналитическое определение модели Л. г. Например, точки плоскости можно определять как пары чисел х, у, прямые можно задавать уравнениями, движения - формулами, сопоставляющими точкам (х, у) новые точки (х', y'). Это будет абстрактно определённая аналитическая геометрия на плоскости Лобачевского, аналогично аналитической геометрии на плоскости Евклида. Т. к. Лобачевский дал основы своей аналитической геометрии, то тем самым он уже фактически наметил такую модель, хотя полное её построение выяснилось уже после того, как на основе работ Клейна и других выявилось само понятие о модели. Другое аналитическое определение Л. г. состоит в том, что Л. г. определяется как геометрия риманова пространства постоянной отрицательной кривизны (см. Римановы геометрии (См. Риманова геометрия)). Это определение было фактически дано ещё в 1854 Б. Риманом и включало модель Л. г. как геометрии на поверхностях постоянной кривизны. Однако Риман не связал прямо своих построений с Л. г., а его доклад, в котором он о них сообщил, не был понят и был опубликован лишь после его смерти (в 1868).

Содержание геометрии Лобачевского. Лобачевский строил свою геометрию, отправляясь от основных геометрических понятий и своей аксиомы, и доказывал теоремы геометрическим методом, подобно тому, как это делается в геометрии Евклида. Основой служила теория параллельных линий, т. к. именно здесь начинается отличие Л. г. от геометрии Евклида. Все теоремы, не зависящие от аксиомы о параллельных, общи обеим геометриям и образуют т. н. абсолютную геометрию, к которой относятся, например, теоремы о равенстве треугольников. Вслед за теорией параллельных строились др. отделы, включая тригонометрию и начала аналитической и дифференциальной геометрии. Приведём несколько фактов Л. г., отличающих её от геометрии Евклида и установленных самим Лобачевским.

1) В Л. г. не существует подобных, но неравных треугольников; треугольники равны, если их углы равны. Поэтому существует абсолютная единица длины, т. е. отрезок, выделенный по своим свойствам, подобно тому как прямой угол выделен своими свойствами. Таким отрезком может служить, например, сторона правильного треугольника с данной суммой углов.

2) Сумма углов всякого треугольника меньше π и может быть сколь угодно близкой к нулю. Это непосредственно видно на модели Пуанкаре. Разность π - (α + β + γ), где α, β, γ - углы треугольника, пропорциональна его площади.

3) Через точку О, не лежащую на данной прямой а, проходит бесконечно много прямых, не пересекающих а и находящихся с ней в одной плоскости; среди них есть две крайние b, b', которые и называются параллельными прямой а в смысле Лобачевского. В моделях Клейна (Пуанкаре) они изображаются хордами (дугами окружностей), имеющими с хордой (дугой) а общий конец (который по определению модели исключается, так что эти прямые не имеют общих точек) (рис. 1,3). Угол ее между прямой b (или b') и перпендикуляром из О на а - т. н. угол параллельности - по мере удаления точки О от прямой убывает от 90° до 0° (в модели Пуанкаре углы в обычном смысле совпадают с углами в смысле Лобачевского, и потому на ней этот факт можно видеть непосредственно). Параллель b с одной стороны (а b' с противоположной) асимптотически приближается к а, а с другой - бесконечно от неё удаляется (в моделях расстояния определяются сложно, и потому этот факт непосредственно не виден).

4) Если прямые имеют общий перпендикуляр, то они бесконечно расходятся в обе стороны от него. К любой из них можно восстановить перпендикуляры, которые не достигают другой прямой.

5) Линия равных расстояний от прямой не есть прямая, а особая кривая, называемая эквидистантой, или гиперциклом.

6) Предел окружностей бесконечно увеличивающегося радиуса не есть прямая, а особая кривая, называемая предельной окружностью, или орициклом.

7) Предел сфер бесконечно увеличивающегося радиуса не есть плоскость, а особая поверхность - предельная сфера, или орисфера; замечательно, что на ней имеет место евклидова геометрия. Это служило Лобачевскому основой для вывода формул тригонометрии.

8) Длина окружности не пропорциональна радиусу, а растет быстрее.

9) Чем меньше область в пространстве или на плоскости Лобачевского, тем меньше геометрические соотношения в этой области отличаются от соотношений евклидовой геометрии. Можно сказать, что в бесконечно малой области имеет место евклидова геометрия. Например, чем меньше треугольник, тем меньше сумма его углов отличается от π; чем меньше окружность, тем меньше отношение её длины к радиусу отличается от 2π, и т. п. Уменьшение области формально равносильно увеличению единицы длины, поэтому при безграничном увеличении единицы длины формулы Л. г. переходят в формулы евклидовой геометрии. Евклидова геометрия есть в этом смысле "предельный" случай Л. г.

Л. г. продолжает разрабатываться многими геометрами; в ней изучаются: решение задач на построение, многогранники, правильные системы фигур, общая теория кривых и поверхностей и т. п. Ряд геометров развивали также механику в пространстве Лобачевского. Эти исследования не нашли непосредственных применений в механике, но дали начало плодотворным геометрическим идеям. В целом Л. г. является обширной областью исследования, подобно геометрии Евклида.

Приложения геометрии Лобачевского. Сам Лобачевский применил свою геометрию к вычислению определённых интегралов. В теории функций комплексного переменного Л. г. помогла построить теорию автоморфных функций (См. Автоморфная функция). Связь с Л. г. была здесь отправным пунктом исследований Пуанкаре, который писал, что "неевклидова геометрия есть ключ к решению всей задачи". Л. г. находит применение также в теории чисел, в её геометрических методах, объединённых под названием "геометрия чисел" (см. Чисел теория). Была установлена тесная связь Л. г. с кинематикой специальной (частной) теории относительности (см. Относительности теория). Эта связь основана на том, что равенство, выражающее закон распространения света

x² + y² + z² = c²t²

при делении на t², т. е. для скорости света, даёт

v_x² + v_y² + v_z² = c²

- уравнение сферы в пространстве с координатами v_x, v_y, v_z - составляющими скорости по осям х, у, z (в "пространстве скоростей"). Лоренца преобразования сохраняют эту сферу и, т. к. они линейны, переводят прямые пространства скоростей в прямые. Следовательно, согласно модели Клейна, в пространстве скоростей внутри сферы радиуса с, т. е. для скоростей, меньших скорости света, имеет место Л. г.

Замечательное приложение Л. г. нашла в общей теории относительности (см. Тяготение). Если считать распределение масс материи во Вселенной равномерным (это приближение в космических масштабах допустимо), то оказывается, что при определённых условиях пространство имеет Л. г. Т. о., предположение Лобачевского о его геометрии как возможной теории реального пространства оправдалось.

Лит.: Лобачевский Н. И., Сочинения по геометрии, М. - Л., 1946-49 (Полн. собр. соч., т. 1-3); Об основаниях геометрии. Сборник классических работ по геометрии Лобачевского и развитию ее идей, М., 1956; Александров П. С., Что такое неевклидова геометрия, М., 1950; Делоне Б. Н., Элементарное доказательство непротиворечивости планиметрии Лобачевского, М., 1956; Широков П. А., Краткий очерк основ геометрии Лобачевского, М., 1955; Каган В. Ф., Лобачевский и его геометрия. Общедоступные очерки, М., 1955; его же, Геометрия Лобачевского и ее предистория, М. - Л., 1949 (Основания геометрии, ч. 1); Ефимов Н. В., Высшая геометрия, 5 изд., М., 1971; Погорелов А. В., Основания геометрии, 3 изд., М., 1968; Розенфельд Б. А., Неевклидовы пространства, М., 1969; Нут Ю. Ю., Геометрия Лобачевского в аналитическом изложении, М., 1961; Андриевская М. Г., Аналитическая геометрия в пространстве Лобачевского, К., 1963.

А. Д. Александров.

Рис. 1 к ст. Лобачевского геометрия.

Рис. 2 к ст. Лобачевского геометрия.

Рис. 3 к ст. Лобачевского геометрия.